-0x8000000000000000